Automated theorem proving - after 25 years : proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983
- Författare
- American Mathematical Society Donald W Loveland W. W Bledsoe Colo.) Special Session on Automatic Theorem Proving (1983 : Denver
- (W.W. Bledsoe and D.W. Loveland, editors.)
- Genre
- Ej skönlitteratur, Konferenspublikation, Bibliografi, Konferenser
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| American Mathematical Society | cop. 1984 | USA, Providence, R.I | ix, 360 sidor. 26 cm |